Fixes for x86/64 writable pagetables, including SMP
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Tue, 9 Aug 2005 10:42:51 +0000 (10:42 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Tue, 9 Aug 2005 10:42:51 +0000 (10:42 +0000)
commit87ce6ef033a47b30dd66279d1a399a615db72602
tree5bcab918d11eee68ab5a94147eb3f39cb1f1470a
parent1b63dcf8f47d640c175b99c03b47bba3498dd089
Fixes for x86/64 writable pagetables, including SMP
guest support.

NOTE: I removed some x86/64 specific tests from get_page_type().
I can't see what good could come of them -- if they caused
things to work then I'm pretty sure there must be some underlying
bug that is what ought to be fixed.

Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/x86/mm.c
xen/include/asm-x86/page.h